Functional safety - PDFSEARCH.IO - Document Search Engine

Functional safety
Results: 882

#	Item
31	Formal Methods in Safety-Critical Railway Systems Thierry Lecomte 1, Thierry Servat 1, Guilhem Pouzancre 1 1 ClearSy, Aix en Provence, France. Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-08-14 07:19:44 Systems engineering Formal methods Product development Software design Software quality Software development process B-Method Safety life cycle Specification Reliability engineering Functional specification Paris Mtro Line 14
32	Software as strong as a dyke C. Verhoef Free University of Amsterdam, Amsterdam, The Netherlands, Abstract Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2007-02-20 12:06:53 Safety Risk Delta Works Maeslantkering RhineMeuseScheldt delta Software quality Safety integrity level IEC 61508 Reliability engineering Software development SIL Functional safety
33	lamotte.com Test Methods/Safety 4 The GLOBE Program® Add to Reading List Source URL: www.lamotte.com Language: English - Date: 2015-03-25 18:53:24 Water pollution Nitrogen cycle Functional groups Water Environmental science Water quality Urea Water testing Nitrate Turbidity
34	Reflections on Standard ML David B. MacQueen AT&T Bell Laboratories Murray Hill NJAbstract. Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for Add to Reading List Source URL: sml-family.org Language: English - Date: 2016-04-04 09:33:37 Functional languages Procedural programming languages Object-oriented programming languages Data types Source code ML Lisp Programming language Macro Type safety Anonymous function HOL
35	EUROPEAN COMMISSION DG RTD SEVENTH FRAMEWORK PROGRAMME THEME 7 TRANSPORT - SST Add to Reading List Source URL: www.optimore-project.eu Language: English - Date: 2014-01-09 08:11:02 Safety engineering Safety Risk Hazard analysis Occupational safety and health Hazard Functional safety Dangerous goods Automotive Safety Integrity Level ISO 26262
36	The Engineering of Reliable Embedded Systems LPC1769 edition Michael J. Pont CHAPTER 15: Revisiting the case study Add to Reading List Source URL: www.safetty.net Language: English - Date: 2015-02-02 01:29:02 Safety Systems engineering Home appliances Laundry Washing machine Embedded system IEC 61508 Life-critical system Non-functional requirement
37	BOOKS ABOUT WABCO FUNCTIONAL SAFETY Cityhalllosangeles.com WABCO FUNCTIONAL SAFETY Add to Reading List Source URL: w.cityhalllosangeles.com Language: English - Date: 2015-03-05 02:02:22 Safety Risk Road safety Westinghouse Air Brake Company Westinghouse Electric Company Functional safety IEC 61508 Food safety ISO 26262 Junior safety patrol
38	SAFETY DATA SHEET Issuing date 24-Jul-2015 Revision Date 24-JulVersion 1 Add to Reading List Source URL: www.meridianbioscience.eu Language: English - Date: 2015-09-02 11:48:19 Toxicology Functional groups Animal testing Median lethal dose Azide
39	Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal Ewen Denney, Ganesh Pai and Josef Pohl SGT / NASA Ames Research Center Moffett Field, CA 94035, USA Email: {ewen.denney, ganesh.pai, josef.po Add to Reading List Source URL: ti.arc.nasa.gov Language: English Avionics Safety engineering Safety Risk Systems engineering Hazard analysis Safety case Unmanned aerial vehicle Functional safety Autopilot System safety Avionics software
40	Schmersal Safety Services We make your machines and equipment safe. WE BIN Add to Reading List Source URL: www.schmersal.net Language: English - Date: 2014-06-05 05:18:29 Safety Functional safety Risk Schmersal Machinery directive Occupational safety and health